<!DOCTYPE html PUBLIC '-//W3C//DTD XHTML 1.0 Transitional//EN' 'http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd'>
<html xmlns='http://www.w3.org/1999/xhtml'>
<head>
<title>highlight</title>
<meta name='robots' content='noindex,nofollow' />
<meta name='generator' content='GLOBAL-6.5.7' />
<meta http-equiv='Content-Style-Type' content='text/css' />
<link rel='stylesheet' type='text/css' href='../style.css' />
</head>
<body>
<pre>
<span class='curline'><a href='../S/src--editor--edit.c.html#L3302'>highlight</a>        3302 src/editor/edit.c         if (edit-&gt;highlight == 0 || (edit-&gt;mark2 != -1 &amp;&amp; edit-&gt;mark1 != edit-&gt;mark2))</span>
<span class='curline'><a href='../S/src--editor--edit.c.html#L3307'>highlight</a>        3307 src/editor/edit.c         edit-&gt;highlight = 1;</span>
<span class='curline'><a href='../S/src--editor--edit.c.html#L3312'>highlight</a>        3312 src/editor/edit.c         if (edit-&gt;highlight)</span>
<span class='curline'><a href='../S/src--editor--edit.c.html#L3314'>highlight</a>        3314 src/editor/edit.c         edit-&gt;highlight = 0;</span>
<span class='curline'><a href='../S/src--editor--editwidget.c.html#L732'>highlight</a>         732 src/editor/editwidget.c         edit-&gt;highlight = 0;</span>
<span class='curline'><a href='../S/src--editor--editwidget.h.html#L111'>highlight</a>         111 src/editor/editwidget.h     unsigned int highlight:1;   /* There is a selected block */</span>
</pre>
</body>
</html>
